|
Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
|
Open Publishing Association,
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Vol. 364, No. 4 August 2022, pp: 143-146, Anno: 2022 |
|
|
|
|
Accountable protocols in abductive logic programming (extended abstract)
Gavanelli, M.; Alberti, M.; Lamma, E.
details >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 325, No. 1, pp: 276-277, Anno: 2020 |
|
|
|
|
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3193, No. 1, pp: 1-5, Anno: 2022 |
|
|
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
details >>
|
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
details >>
|
Springer Science and Business Media Deutschland GmbH,
Business Information Systems Workshops, Revised Selected Papers
Vol. 444, No. 1, pp: 321-333, Anno: 2022 |
|
|
|
|
Summary of semantics for hybrid probabilistic logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 234-235, Anno: 2021 |
|
|
|
|
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
|
Springer Science and Business Media Deutschland GmbH,
Machine Learning, Optimization, and Data Science. 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I
Vol. 12565, No. 1, pp: 477-488, Anno: 2020 |
|
|
|
|
An Analysis of Gibbs Sampling for Probabilistic Logic Programs
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
CEUR-WS,
ICLP20WS 2020 International Conference on Logic Programming 2020 Workshops
Vol. 2678, No. 1, pp: 1-13, Anno: 2020 |
|
|
|
|
Modeling Smart Contracts with Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
Springer Science and Business Media Deutschland GmbH,
Lecture Notes in Business Information Processing
Vol. 394, No. 1, pp: 86-98, Anno: 2020 |
|
|
|
|
Analyzing Transaction Fees with Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
|
Springer,
Lecture Notes in Business Information Processing
Vol. 373, No. 1, pp: 243-254, Anno: 2019 |
|
|
|
|
KRaider: A crawler for linked data
Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina
details >>
|
CEUR-WS,
Proceedings of the 34th Italian Conference on Computational Logic
Vol. 2396, No. 1, pp: 202-216, Anno: 2019 |
|
|
|
|
A Comparison of MCMC Sampling for Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E.
details >>
|
Springer,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 11946, No. 1, pp: 18-29, Anno: 2019 |
|
|
|
|
Deep learning for probabilistic logic programming
Fadja, Arnaud Nguembang; Riguzzi, Fabrizio; Lamma, Evelina
details >>
|
Sun SITE Central Europe,
AI*IA 2018 Doctoral Consortium. Proceedings of the AI*IA Doctoral Consortium (DC)
Vol. 2249, No. 1, pp: 43-47, Anno: 2018 |
|
|
|
|
Vision inspection with neural networks
Fadja, Arnaud Nguembang; Lamma, Evelina; Riguzzi, Fabrizio
details >>
|
CEUR-WS,
R.i.C.e.R.c.A: RCRA Incontri E Confronti
Vol. 2272, No. 1, pp: 1-10, Anno: 2018 |
|
|
|
|
Learning the parameters of deep probabilistic logic programs
NGUEMBANG FADJA, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina
details >>
|
CEUR-WS,
Probabilistic Logic Programming (PLP 2018)
Vol. 2219, No. 1, pp: 9-14, Anno: 2018 |
|
|
|
|
A Modular Inference System for Probabilistic Description Logics
Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina
details >>
|
Springer,
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Vol. 11142, No. 1, pp: 78-92, Anno: 2018 |
|
|
|
|
Modeling Bitcoin protocols with probabilistic logic programming
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
details >>
|
CEUR-WS,
Probabilistic Logic Programming (PLP 2018). Proceedings of the 5th International Workshop on Probabilistic Logic Programming
Vol. 2219, No. 1, pp: 49-61, Anno: 2018 |
|
|
|
|
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio
details >>
|
CEUR-WS.org,
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018
Vol. 2214, No. 1, pp: 117-131, Anno: 2018 |
|
|
|
|
Expectation Maximization in Deep Probabilistic Logic Programming
Nguembang Fadja, A.; Riguzzi, F.; Lamma, E.
details >>
|
Springer Verlag,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 11298, No. 1, pp: 293-306, Anno: 2018 |
|
|
|
|
Modeling Bitcoin Lightning Network by Logic Programming
Azzolini, Damiano; Bellodi, Elena; Brancaleoni, Alessandro; Riguzzi, Fabrizio; Lamma, Evelina
|
Open Publishing Association,
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Vol. 325, No. 1, pp: 258-260, Anno: 2020 |
|
|
|